[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 232 494 0 769 0 0 -1

N.S.

1 1.00 0.90 1.91 0.00 2.98 0.00 0.00 -0.00

time (sec)

N/A 0.522 4.389 0.196 0.000 0.411 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 258 450 0 694 0 0 -1

N.S.

1 1.00 1.18 2.05 0.00 3.17 0.00 0.00 -0.00

time (sec)

N/A 0.445 3.291 0.171 0.000 0.385 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 192 407 0 621 0 0 -1

N.S.

1 1.00 1.05 2.24 0.00 3.41 0.00 0.00 -0.01

time (sec)

N/A 0.345 3.411 0.180 0.000 0.384 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 267 365 0 542 0 0 -1

N.S.

1 1.00 1.92 2.63 0.00 3.90 0.00 0.00 -0.01

time (sec)

N/A 0.260 2.612 0.196 0.000 0.400 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 215 388 0 626 0 0 -1

N.S.

1 1.00 1.55 2.79 0.00 4.50 0.00 0.00 -0.01

time (sec)

N/A 0.261 2.375 0.190 0.000 0.383 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 162 372 1072 408 0 0 -1

N.S.

1 1.00 1.33 3.05 8.79 3.34 0.00 0.00 -0.01

time (sec)

N/A 0.134 2.007 0.168 0.684 0.369 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 187 414 1284 466 0 0 -1

N.S.

1 1.00 1.20 2.65 8.23 2.99 0.00 0.00 -0.01

time (sec)

N/A 0.179 3.717 0.172 0.682 0.385 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 188 459 3186 509 0 0 -1

N.S.

1 1.00 0.93 2.27 15.77 2.52 0.00 0.00 -0.00

time (sec)

N/A 0.365 3.088 0.168 0.961 0.369 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 207 501 3508 566 0 0 -1

N.S.

1 1.00 0.87 2.10 14.68 2.37 0.00 0.00 -0.00

time (sec)

N/A 0.474 4.986 0.188 1.703 0.383 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 224 667 0 658 0 0 -1

N.S.

1 1.00 1.03 3.06 0.00 3.02 0.00 0.00 -0.00

time (sec)

N/A 0.441 3.476 0.202 0.000 0.441 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 222 623 0 580 0 0 -1

N.S.

1 1.00 1.25 3.52 0.00 3.28 0.00 0.00 -0.01

time (sec)

N/A 0.341 2.278 0.182 0.000 0.436 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 210 580 0 577 0 0 -1

N.S.

1 1.00 1.50 4.14 0.00 4.12 0.00 0.00 -0.01

time (sec)

N/A 0.253 2.014 0.203 0.000 0.439 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 132 350 0 301 0 0 242

N.S.

1 1.00 1.50 3.98 0.00 3.42 0.00 0.00 2.75

time (sec)

N/A 0.083 1.413 0.199 0.000 0.388 0.000 0.000 6.709

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 140 352 0 299 0 407 171

N.S.

1 1.00 1.65 4.14 0.00 3.52 0.00 4.79 2.01

time (sec)

N/A 0.129 1.638 0.194 0.000 0.390 0.000 0.780 6.089

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 160 395 0 355 0 504 -1

N.S.

1 1.00 1.33 3.29 0.00 2.96 0.00 4.20 -0.01

time (sec)

N/A 0.167 1.644 0.200 0.000 0.388 0.000 1.424 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 159 401 0 403 0 529 -1

N.S.

1 1.00 0.99 2.49 0.00 2.50 0.00 3.29 -0.01

time (sec)

N/A 0.266 1.851 0.210 0.000 0.397 0.000 1.571 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 191 473 0 456 0 552 -1

N.S.

1 1.00 0.96 2.39 0.00 2.30 0.00 2.79 -0.01

time (sec)

N/A 0.355 1.411 0.191 0.000 0.492 0.000 2.045 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 240 815 0 612 0 0 -1

N.S.

1 1.00 1.10 3.74 0.00 2.81 0.00 0.00 -0.00

time (sec)

N/A 0.449 4.278 0.178 0.000 0.619 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 217 771 0 613 0 0 -1

N.S.

1 1.00 1.20 4.26 0.00 3.39 0.00 0.00 -0.01

time (sec)

N/A 0.361 2.133 0.184 0.000 0.524 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 158 464 0 321 0 0 -1

N.S.

1 1.00 1.24 3.65 0.00 2.53 0.00 0.00 -0.01

time (sec)

N/A 0.132 1.985 0.168 0.000 0.487 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 164 463 0 320 0 0 -1

N.S.

1 1.00 1.29 3.65 0.00 2.52 0.00 0.00 -0.01

time (sec)

N/A 0.129 1.625 0.177 0.000 0.448 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 158 464 0 320 0 878 -1

N.S.

1 1.00 1.26 3.71 0.00 2.56 0.00 7.02 -0.01

time (sec)

N/A 0.179 1.911 0.185 0.000 0.446 0.000 1.698 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 190 509 0 382 0 976 -1

N.S.

1 1.00 1.17 3.14 0.00 2.36 0.00 6.02 -0.01

time (sec)

N/A 0.272 2.030 0.191 0.000 0.471 0.000 6.102 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 186 549 0 435 0 1000 -1

N.S.

1 1.00 0.93 2.73 0.00 2.16 0.00 4.98 -0.00

time (sec)

N/A 0.375 1.257 0.180 0.000 0.437 0.000 7.802 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 270 1007 0 623 0 0 -1

N.S.

1 1.00 1.05 3.92 0.00 2.42 0.00 0.00 -0.00

time (sec)

N/A 0.557 3.968 0.188 0.000 0.516 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 241 963 0 621 0 0 -1

N.S.

1 1.00 1.11 4.42 0.00 2.85 0.00 0.00 -0.00

time (sec)

N/A 0.464 2.810 0.195 0.000 0.668 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 177 575 0 332 0 0 -1

N.S.

1 1.00 1.07 3.46 0.00 2.00 0.00 0.00 -0.01

time (sec)

N/A 0.188 2.219 0.169 0.000 0.578 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 171 576 0 331 0 0 -1

N.S.

1 1.00 1.04 3.51 0.00 2.02 0.00 0.00 -0.01

time (sec)

N/A 0.183 2.146 0.189 0.000 0.516 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 175 575 0 331 0 0 -1

N.S.

1 1.00 1.04 3.42 0.00 1.97 0.00 0.00 -0.01

time (sec)

N/A 0.285 1.909 0.194 0.000 0.677 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 171 576 0 330 0 1348 -1

N.S.

1 1.00 1.06 3.56 0.00 2.04 0.00 8.32 -0.01

time (sec)

N/A 0.285 2.266 0.187 0.000 0.610 0.000 4.829 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 203 620 0 393 0 1446 -1

N.S.

1 1.00 1.02 3.12 0.00 1.97 0.00 7.27 -0.01

time (sec)

N/A 0.369 1.349 0.173 0.000 0.740 0.000 18.884 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 199 661 0 445 0 1472 -1

N.S.

1 1.00 0.84 2.78 0.00 1.87 0.00 6.18 -0.00

time (sec)

N/A 0.482 1.566 0.198 0.000 0.772 0.000 17.822 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 181 211 0 645 0 256 655

N.S.

1 1.00 0.53 0.62 0.00 1.88 0.00 0.75 1.91

time (sec)

N/A 0.322 1.828 0.194 0.000 0.797 0.000 0.598 5.716

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 163 201 0 494 0 231 616

N.S.

1 1.00 0.51 0.63 0.00 1.55 0.00 0.72 1.93

time (sec)

N/A 0.328 1.266 0.160 0.000 0.690 0.000 0.708 5.438

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 162 190 0 492 0 215 622

N.S.

1 1.00 0.54 0.64 0.00 1.65 0.00 0.72 2.08

time (sec)

N/A 0.262 1.167 0.181 0.000 0.774 0.000 0.694 5.163

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

303 303 163 190 0 493 0 215 599

N.S.

1 1.00 0.54 0.63 0.00 1.63 0.00 0.71 1.98

time (sec)

N/A 0.322 1.080 0.201 0.000 0.718 0.000 0.607 5.291

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

303 303 161 189 0 486 0 215 587

N.S.

1 1.00 0.53 0.62 0.00 1.60 0.00 0.71 1.94

time (sec)

N/A 0.316 1.152 0.168 0.000 0.703 0.000 0.638 5.313

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

321 321 201 199 0 642 0 231 630

N.S.

1 1.00 0.63 0.62 0.00 2.00 0.00 0.72 1.96

time (sec)

N/A 0.283 1.718 0.150 0.000 0.765 0.000 1.229 5.364

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

347 347 236 210 0 787 0 241 611

N.S.

1 1.00 0.68 0.61 0.00 2.27 0.00 0.69 1.76

time (sec)

N/A 0.358 2.035 0.144 0.000 0.682 0.000 0.792 5.754

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

379 379 210 246 0 684 0 268 674

N.S.

1 1.00 0.55 0.65 0.00 1.80 0.00 0.71 1.78

time (sec)

N/A 0.456 3.593 0.167 0.000 0.634 0.000 0.796 5.459

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 192 235 0 521 0 244 668

N.S.

1 1.00 0.54 0.66 0.00 1.46 0.00 0.68 1.87

time (sec)

N/A 0.366 1.841 0.181 0.000 0.704 0.000 0.699 5.240

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 194 225 0 521 0 228 642

N.S.

1 1.00 0.58 0.67 0.00 1.55 0.00 0.68 1.91

time (sec)

N/A 0.402 1.758 0.203 0.000 0.719 0.000 0.938 5.255

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 190 225 0 521 0 228 653

N.S.

1 1.00 0.57 0.67 0.00 1.56 0.00 0.68 1.95

time (sec)

N/A 0.354 1.701 0.180 0.000 0.616 0.000 0.758 5.176

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 194 225 0 521 0 226 640

N.S.

1 1.00 0.58 0.67 0.00 1.55 0.00 0.67 1.90

time (sec)

N/A 0.394 1.592 0.171 0.000 0.701 0.000 0.727 5.060

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

339 339 189 223 0 515 0 228 630

N.S.

1 1.00 0.56 0.66 0.00 1.52 0.00 0.67 1.86

time (sec)

N/A 0.392 1.705 0.197 0.000 0.683 0.000 0.848 5.190

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

359 359 205 233 0 681 0 238 660

N.S.

1 1.00 0.57 0.65 0.00 1.90 0.00 0.66 1.84

time (sec)

N/A 0.368 3.985 0.214 0.000 0.626 0.000 2.054 5.257

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 381 281 244 0 836 0 254 652

N.S.

1 1.00 0.74 0.64 0.00 2.19 0.00 0.67 1.71

time (sec)

N/A 0.450 2.106 0.179 0.000 0.808 0.000 1.179 5.462

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.098 5.550 1.087 0.000 0.000 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 16.660 1.067 0.000 0.000 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 1.134 1.063 0.000 0.000 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 1.110 1.005 0.000 0.000 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

80 80 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 1.081 1.064 0.000 0.000 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

80 80 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 12.140 1.049 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 8.065 1.014 0.000 0.000 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.099 13.988 1.028 0.000 0.000 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.096 7.414 0.995 0.000 0.000 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.092 16.900 1.035 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

80 80 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 3.797 1.094 0.000 0.000 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

80 80 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 14.549 1.014 0.000 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

81 81 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 6.039 1.074 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

81 81 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 2.865 1.033 0.000 0.000 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

81 81 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 5.535 1.081 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

81 81 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.092 3.796 1.009 0.000 0.000 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

79 79 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 6.349 1.181 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

79 79 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.102 11.636 1.084 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

84 84 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.102 6.761 1.047 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

84 84 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 12.186 1.026 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F(-1) F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

84 84 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 6.408 1.040 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

84 84 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 11.458 0.990 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F(-1) F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 7.300 1.083 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

82 82 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.107 12.335 1.069 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) A A B F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

234 234 0 190 190 393 0 0 235

N.S.

1 1.00 0.00 0.81 0.81 1.68 0.00 0.00 1.00

time (sec)

N/A 0.208 180.002 0.174 0.534 0.633 0.000 0.000 0.626

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) A A B F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

185 185 0 156 153 294 0 0 195

N.S.

1 1.00 0.00 0.84 0.83 1.59 0.00 0.00 1.05

time (sec)

N/A 0.095 180.003 0.115 0.508 0.674 0.000 0.000 4.070

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) A A A F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

174 174 0 150 153 239 0 0 176

N.S.

1 1.00 0.00 0.86 0.88 1.37 0.00 0.00 1.01

time (sec)

N/A 0.090 180.005 0.096 0.521 0.551 0.000 0.000 4.276

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 223 133 135 188 0 0 184

N.S.

1 1.00 1.43 0.85 0.87 1.21 0.00 0.00 1.18

time (sec)

N/A 0.057 1.019 0.078 0.523 0.513 0.000 0.000 3.968

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F A B F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

260 260 0 0 233 387 0 0 328

N.S.

1 1.00 0.00 0.00 0.90 1.49 0.00 0.00 1.26

time (sec)

N/A 0.210 0.706 0.421 0.530 0.616 0.000 0.000 4.305

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F A B F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

299 299 0 0 261 555 0 0 806

N.S.

1 1.00 0.00 0.00 0.87 1.86 0.00 0.00 2.70

time (sec)

N/A 0.293 180.005 0.354 0.532 0.571 0.000 0.000 4.200

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F A B F F(-2) B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

327 327 0 0 306 678 0 0 417

N.S.

1 1.00 0.00 0.00 0.94 2.07 0.00 0.00 1.28

time (sec)

N/A 0.395 180.004 0.398 0.533 0.603 0.000 0.000 4.408

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 81 133 136 226 0 0 171

N.S.

1 1.00 0.52 0.85 0.87 1.45 0.00 0.00 1.10

time (sec)

N/A 0.059 0.410 0.084 0.536 0.528 0.000 0.000 4.558

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) A A B F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

251 251 0 210 208 501 0 0 243

N.S.

1 1.00 0.00 0.84 0.83 2.00 0.00 0.00 0.97

time (sec)

N/A 0.232 180.004 0.102 0.535 0.504 0.000 0.000 4.385

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) A A B F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

203 203 0 175 172 409 0 0 218

N.S.

1 1.00 0.00 0.86 0.85 2.01 0.00 0.00 1.07

time (sec)

N/A 0.123 180.004 0.096 0.529 0.570 0.000 0.000 4.065

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) A A B F F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

192 192 0 169 172 350 0 0 198

N.S.

1 1.00 0.00 0.88 0.90 1.82 0.00 0.00 1.03

time (sec)

N/A 0.116 180.003 0.103 0.527 0.604 0.000 0.000 4.318

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 294 151 153 262 0 0 195

N.S.

1 1.00 1.68 0.86 0.87 1.50 0.00 0.00 1.11

time (sec)

N/A 0.077 1.256 0.097 0.517 0.795 0.000 0.000 3.987

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 411 0 233 446 0 0 369

N.S.

1 1.00 1.62 0.00 0.92 1.76 0.00 0.00 1.45

time (sec)

N/A 0.309 4.346 0.417 0.548 1.161 0.000 0.000 4.303

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

315 315 587 0 258 622 0 0 855

N.S.

1 1.00 1.86 0.00 0.82 1.97 0.00 0.00 2.71

time (sec)

N/A 0.392 7.756 0.361 0.554 1.459 0.000 0.000 0.528

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F A B F(-1) F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

321 321 0 0 304 744 0 0 460

N.S.

1 1.00 0.00 0.00 0.95 2.32 0.00 0.00 1.43

time (sec)

N/A 0.386 180.003 0.392 0.548 1.203 0.000 0.000 4.406

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 82 153 154 280 0 0 208

N.S.

1 1.00 0.46 0.86 0.87 1.58 0.00 0.00 1.18

time (sec)

N/A 0.087 0.727 0.097 0.525 0.967 0.000 0.000 4.544

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F(-1) F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

83 83 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 180.002 0.405 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

81 81 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.103 5.284 0.761 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 125 211 208 479 0 0 266

N.S.

1 1.00 0.44 0.75 0.74 1.70 0.00 0.00 0.94

time (sec)

N/A 0.322 1.421 0.117 0.535 1.158 0.000 0.000 4.625

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 115 192 190 418 0 0 228

N.S.

1 1.00 0.49 0.81 0.80 1.76 0.00 0.00 0.96

time (sec)

N/A 0.202 0.898 0.099 0.541 1.493 0.000 0.000 0.362

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 82 172 172 315 0 0 210

N.S.

1 1.00 0.38 0.81 0.81 1.48 0.00 0.00 0.99

time (sec)

N/A 0.118 0.710 0.094 0.517 1.321 0.000 0.000 4.477

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 140 146 154 327 0 0 172

N.S.

1 1.00 0.79 0.82 0.87 1.84 0.00 0.00 0.97

time (sec)

N/A 0.089 0.640 0.117 0.531 1.167 0.000 0.000 0.241

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 141 158 152 315 0 0 197

N.S.

1 1.00 0.77 0.86 0.83 1.71 0.00 0.00 1.07

time (sec)

N/A 0.077 0.451 0.082 0.538 0.943 0.000 0.000 4.391

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

286 286 195 0 249 580 0 0 559

N.S.

1 1.00 0.68 0.00 0.87 2.03 0.00 0.00 1.95

time (sec)

N/A 0.303 1.289 0.405 0.543 0.959 0.000 0.000 0.248

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 327 179 0 286 717 0 0 887

N.S.

1 1.00 0.55 0.00 0.87 2.19 0.00 0.00 2.71

time (sec)

N/A 0.393 1.507 0.382 0.528 0.961 0.000 0.000 4.569

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 290 158 151 305 0 0 190

N.S.

1 1.00 1.58 0.86 0.82 1.66 0.00 0.00 1.03

time (sec)

N/A 0.080 1.102 0.087 0.561 1.330 0.000 0.000 0.215

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

86 86 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.082 34.660 0.360 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

84 84 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.106 14.648 0.535 0.000 0.000 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 145 212 209 443 0 0 263

N.S.

1 1.00 0.51 0.75 0.74 1.57 0.00 0.00 0.93

time (sec)

N/A 0.316 1.637 0.126 0.530 1.341 0.000 0.000 4.536

[next] [prev] [prev-tail] [front] [up]